AND-Compression of NP-Complete Problems: Streamlined Proof and Minor Observations
نویسندگان
چکیده
منابع مشابه
A simple proof that AND-compression of NP-complete problems is hard
Drucker [1] proved the following result: Unless the unlikely complexity-theoretic collapse coNP ⊆ NP/poly occurs, there is no AND-compression for SAT. The result has implications for the compressibility and kernelizability of a whole range of NPcomplete parameterized problems. We present a simple proof of this result. An AND-compression is a deterministic polynomial-time algorithm that maps a s...
متن کاملCombinatorial Proof that Subprojective Constraint Satisfaction Problems are NP-Complete
We introduce a new general polynomial-time constructionthe fibre constructionwhich reduces any constraint satisfaction problem CSP(H) to the constraint satisfaction problem CSP(P), where P is any subprojective relational system. As a consequence we get a new proof (not using universal algebra) that CSP(P) is NP -complete for any subprojective (and thus also projective) relational system. The fi...
متن کاملproblems and strategies of translating persian lexical collocations into english: the case of noun-verb and noun-adjective collocations
در محیط های دانشگاهی ایران ، آموزش ترجمه واژگان هم آیند که به منزله امری لاینفک برای دانش جویان رشته مترجمی زبان می باشد، تا حدود زیادی نادیده گرفته شده است . این واقعیت باعث شده است تا دانش جویان رشته مترجمی زبان در ترجمه ی واژگان هم آیند اشتباهات بسیاری مرتکب شوند. این پژوهش توجه ویژه ای به ترجمه واژگان هم آیند داشته است. برای مشخص نمودن مشکلات و استراتژی های مورد استفاده ی دانش جویان در ترجم...
15 صفحه اولNP-complete Problems and Physical Reality
Can NP-complete problems be solved efficiently in the physical universe? I survey proposals including soap bubbles, protein folding, quantum computing, quantum advice, quantum adiabatic algorithms, quantum-mechanical nonlinearities, hidden variables, relativistic time dilation, analog computing, Malament-Hogarth spacetimes, quantum gravity, closed timelike curves, and “anthropic computing.” The...
متن کاملNP-complete problems and Quantum Search
Consider SAT, the prototypical example of an NP-complete problem. An instance of this problem consists of a Boolean function f (x1, . . . ,xn) = c1 ∧ . . .∧ cm; the SAT problem asks you to determine whether there exists a satisfying assignment—that is, an input (a1, . . . ,an) such that f (a1, . . . ,an) = 1. UNIQUE-SAT is a variant of SAT that poses the same problem with the restriction that f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Algorithmica
سال: 2016
ISSN: 0178-4617,1432-0541
DOI: 10.1007/s00453-015-0110-y